// Station Leafre

void portal(Player @player, Portal @portal) {
player.changeMap(240000100, "east00");
}